English abstract type and scheme definition language: traducción a otros idiomas